Skip to content

[pull] master from rust-lang:master#71

Merged
pull[bot] merged 9 commits into
asukaminato0721:masterfrom
rust-lang:master
Jun 3, 2026
Merged

[pull] master from rust-lang:master#71
pull[bot] merged 9 commits into
asukaminato0721:masterfrom
rust-lang:master

Conversation

@pull

@pull pull Bot commented Jun 3, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

flodiebold and others added 9 commits June 1, 2026 20:24
…ant ID / tuple ID needed)

bring back env for projection_ty
cleanups
…tOne

The old code looks like a copy-paste mistake.
Address the FIXMEs in crates/hir-ty/src/lower.rs where
next_ty_var, next_const_var, and next_region_var silently
returned error types without emitting diagnostics when
inference variables are not allowed (e.g., `_` in type aliases,
consts, statics, struct fields).

- Add InferVarsNotAllowed variant to TyLoweringDiagnostic enum
- Call push_diagnostic in the three next_*_var functions for any
  non-dummy span
- Convert TyLoweringDiagnostic from struct+kind to flat enum with
  per-variant source (TypeRefId for PathDiagnostic, Span for
  InferVarsNotAllowed)
- Add span_syntax helper resolving all Span variants to AST nodes
- Extract expr_syntax/pat_syntax/type_syntax/span_syntax closures
  from inference_diagnostic into associated functions on AnyDiagnostic
- Add InferVarsNotAllowed HIR diagnostic struct with
  InFile<SyntaxNodePtr> node
- Add ide-diagnostics handler with E0121 error code and tests
fix: RunnableKind::Test should map to project_json::RunnableKind::TestOne
`pat()` does not parse or patterns.
feat(diagnostics): emit error for infer vars in non-inference contexts
internal: Align MIR ProjectionElem more with rustc's version and simplify it
@pull pull Bot locked and limited conversation to collaborators Jun 3, 2026
@pull pull Bot added the ⤵️ pull label Jun 3, 2026
@pull pull Bot merged commit 9b9f59c into asukaminato0721:master Jun 3, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants